#ifndef __PRINTF_H_
#define __PRINTF_H_

#include <stdint.h>
#include <stddef.h>

void PRINTF(const char *fmt, ...);

#endif /* __PRINTF_H_ */
